821. Quick Start Guide to Verilog /
المؤلف: by Brock J. LaMeres.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Circuits and Systems.,Logic Design.,Processor Architectures.
رده :
TK7888
.
4
822. Rapid prototyping of digital system
المؤلف: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Field programmable gate arrays--Computer-aided design,Logic design.,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping.
رده :
TK
,
7895
,.
G36
,
H36
,
2005
823. Rapid prototyping of digital system
المؤلف: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Field programmable gate arrays--Computer-aided design,Logic design.,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping.
رده :
TK
,
7895
,.
G36
,
H36
,
2008
824. Rapid prototyping of digital systems
المؤلف: Hamblen, James O.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Field programmable gate arrays-- Computer aided design,، Programmable array logic,، VHDL )Computer hardware description language(
رده :
TK
7895
.
G36
.
H36
2000
825. Rapid prototyping of digital systems
المؤلف: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Field programmable gate arrays- Computer-aided design,Logic design,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping
رده :
TK7895
.
G36
,
H36
2005
826. Rapid prototyping of digital systems
المؤلف: / James O. Hamblen, Tyson S. Hall, Michael D. Furman
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Field programmable gate arrays- Computer-aided design,Logic design,VHDL (Computer hardware description language),Verilog (Computer hardware description language),Rapid prototyping
رده :
E-BOOK
827. Rapid prototyping of digital systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: aided design. ; Logic design. ; VHDL (Computer hardware description language) ; Verilog (Computer hardware description language) ; Rapid prototyping. ; -Field programmable gate arrays ; Computer
828. Rapid prototyping of digital systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: aided design. ; Logic design. ; VHDL (Computer hardware description language) ; Verilog (Computer hardware description language) ; Rapid prototyping. ; -Field programmable gate arrays ; Computer
829. Rapid prototyping of digital systems
المؤلف: James O. Hamblen, Michael D. Furman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Field programmable gate arrays-- Computer-aided design.,Programmable array logic.,Rapid prototyping.,VHDL (Computer hardware description language)
رده :
TK7895
.
G36
H36
2001eb
830. Rapid prototyping of digital systems
المؤلف: Hamblen, James O.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Field programmable gate arrays -- Computer-aided design,، Programmable array logic,، VHDL )Computer hardware description language(
رده :
TK
7895
.
G36
H36
831. Rapid prototyping of digital systems
المؤلف: James O. Hamblen, Michael D. Furman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Field programmable gate arrays-- Computer-aided design.,Programmable array logic.,Rapid prototyping.,VHDL (Computer hardware description language)
رده :
TK7895
.
G36
H36
2001eb
832. Rapid prototyping of digital systems ]electronic resources[
المؤلف: Hamblen, James O.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Field programmable gate arrays-- Computer-aided design,، Logic design,، VHDL )Computer hardware description language(,، Verilog )Computer hardware description language(,، Rapid prototyping
رده :
TK
7895
.
G36
.
H36
2005
833. Rapid prototyping of digital systems sopc edition
المؤلف: Hamblen, James O.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Computer-aided design ، Field programmable gate arrays,، Logic design,، VHDL )Computer hardware description language(,، Rapid prototyping
رده :
TK
7895
.
G36
H36
834. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
المؤلف: Kunz, Wolfgang
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
835. Recent Trends in Data Type Specification :
المؤلف: edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
836. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
المؤلف: ]edited by[ Harrie de Swart
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
837. Relations and Graphs :
المؤلف: by Gunther Schmidt, Thomas Ströhlein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
838. Representations of discrete functions
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design
رده :
TK
7874
.
75
.
R47
1996
839. Runtime Verification
المؤلف: edited by Sarfraz Khurshid, Koushik Sen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
840. Selected papers on logic synthesis for integrated circuit design
المؤلف: edited by A. Richard Newton
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration ، Integrated circuits,، Logic design
رده :
QC
7874
.
S414
1987
